English translation for "programming correctness proof"

程序正确性证明

Related Translations:

correctness:  正确度正确性正确与否准确度准确和正确

semantic correctness:  语义正确性

political correctness:  政治正确

grammatical correctness:  语法规范

probable correctness:  概率正确性

strong correctness:  强正确性

correctness proof:  正确性证明

program correctness:  程序的正确性程序正确性

partial correctness:  部分正确性

correctness argument:  正确性论据

Similar Words：

"programming controller" English translation, "programming convention" English translation, "programming conversational" English translation, "programming convex" English translation, "programming cool" English translation, "programming cost" English translation, "programming counter" English translation, "programming decomposition" English translation, "programming depth" English translation, "programming design" English translation